From: kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Date: Wed, 28 Sep 2005 15:15:20 +0000 (+0100)
Subject: Remove broken assertion in 64-bit shadow pagetable code.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~16769^2~16^2~5^2
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=b0f49f74b7869332c611688f5ef7b0af8aac2333;p=xen.git

Remove broken assertion in 64-bit shadow pagetable code.
---

diff --git a/xen/arch/x86/shadow_public.c b/xen/arch/x86/shadow_public.c
index fad54a7f97..292ef81e7d 100644
--- a/xen/arch/x86/shadow_public.c
+++ b/xen/arch/x86/shadow_public.c
@@ -256,7 +256,6 @@ void free_monitor_pagetable(struct vcpu *v)
 {
     unsigned long mfn;
 
-    ASSERT( pagetable_val(v->arch.monitor_table) );
     /*
      * free monitor_table.
      * Note: for VMX guest, only BSP need do this free.